CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 29 a 48 di 323
Titolo Data di pubblicazione Autore(i) File
Basic Human Values and Moral Foundations Theory in ValueNet Ontology 2022 De Giorgis S.; Gangemi A.; Damiano R.
Bisimulation Congruences in the Calculus of Looping Sequences 2006 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Boolean property encoding for local set pattern discovery: an application to gene expression data analysis 2005 R. G. Pensa; J-F. Boulicaut
Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects 2007 M. BALDONI; G. BOELLA; L. VAN DER TORRE
Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages 2006 M. BALDONI; G. BOELLA; L. VAN DER TORRE
Bringing Aggregate Programming Towards the Cloud 2022 Audrito G.; Damiani F.; Torta G.
Bringing Authoritative Models to Computational Drama (Encoding Knebel’s Action Analysis) 2016 Albert, Giacomo; Pizzo, Antonio; Lombardo, Vincenzo; Damiano, Rossana; Terzulli, Carmi
Building a wide coverage dynamic grammar 2005 MAZZEI, Alessandro; LOMBARDO, Vincenzo
Building Narrative Connections among Media Objects in Cultural Heritage Repositories 2013 A. Lieto; R. Damiano
A Calculus of Self-stabilising Computational Fields 2014 Mirko Viroli;Ferruccio Damiani
Call-by-Value Separability and Computability 2001 L. PAOLINI
Categorical semantics of the call-by-value lambda calculus 1995 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean 2022 Giacomo Maletto; Luca Roversi
Co-design of distributed systems using skeleton and autonomic management abstractions 2009 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
Combining Coherence and Adaptation in Discourse-oriented Hypermedia Generation 2006 K. FALKOVYCH; F. CENA; F. NACK
Common-Sense Rule Inference 2009 Luca Console; Ilaria Lombardi
Compilation of Generic Regular Path Expressions Using C++ Class Templates 2005 Padovani, Luca
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 1986 E. Giovannetti; C. Moiso
Completeness Results for a Polymorphic Type System 1983 Mario Coppo; Elio Giovannetti
Computation Asset Allocation Using One-Sided and Two-Sided Variability Measures 2006 FARINELLI S.; ROSSELLO D.; TIBILETTI L.
Mostrati risultati da 29 a 48 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile